body {
	margin: 1in;
	font-family: sans-serif;
}

#title {
	background: #c0c0c0;
	border: thin solid black;
	padding: 2ex;
}

h2, h3 {
	border-bottom: thin solid black;
	font-family: serif;
}

.admonition {
	color: red;
}

